检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

显示/隐藏图片

Select

1. 基于输入/输出动作的协议形式化描述和测试用例生成方法

顾翔邱建林严燕

计算机应用

摘要（1516）

PDF （608KB）（925）

通信协议的形式化描述及在其基础之上的协议测试用例生成，一直是协议工程的重要研究内容。为此尝试将RSL引入协议形式化描述：首先探讨了一种基于输入/输出动作模型的协议形式化描述方法；随后对基于RSL描述的协议测试技术展开了讨论，提出了一种基于输入/输出动作的协议测试序列生成法则以及基于此法则的测试用例生成方法，并对使用该方法生成的测试用例的性质进行了讨论。